TerminationAndUnivalence.agda:31,1-32,41
Termination checking failed for the following functions:
  noo
Problematic calls:
  noo FOne iso x
    (at TerminationAndUnivalence.agda:32,27-30)
